.browsehappy {
    margin: 0.2em 0;
    background: #ccc;
    color: #000;
    padding: 0.2em 0;
}

html
{
    height: 100%;
    width: 100%;
}

body
{
    height: 100%;
    width: 100%;
    margin: 0;
    padding: 0;
    background-repeat: repeat;
    font-size:75%;
    border:0 !important;
}





#Header
{
    width: auto;
    height: 100px;
    margin-top: 10px;
}

#TopMenu
{
    position: relative;
    z-index: 2000;
    float: right;
    padding-top: 7px;
    padding-right: 10px;
    border:0px !important;
    background:transparent;
}

#TopMenu ul li
{
    display: inline;
    list-style: none;
    float: left;
    padding-left: 8px;
    padding-right: 8px;
    margin-left: 4px;
    margin-top: 6px; 
}

#TopMenu ul
{
    display: inline;
    padding: 0 0 0 0;
    margin: 0;
    text-align: right;
    float: right;
    bottom: 0;
}

#Logo
{
    width: auto;
    height: auto;
    float: left;
}

#HeaderContent
{
    float: left;
    width: auto;
    height: auto;
}

#WelcomeInfo
{
    clear: both;
    margin: 10px;
}

#TabView
{
    padding: 0px;
    margin:0px;
    border-width:0px;
}

#StateMachineEditor
{
    width: auto;
    height: auto;
    display: inline-block;
    position: relative;
    vertical-align: top;
    
}

#tabXmlModel
{
    padding: 0px;
    margin: 0px;
}

#tabDiagram
{
    text-align: center;
    padding:0px;
    height:auto;
    width:auto;
}

#tabEvents
{
    text-align: center;
    padding:0px;
}

#examples
{
    width: auto;
    height: auto;
    display: block;
}

.examplesLanguage
{
    vertical-align: top;
    width: auto;
    height: auto;
    display: inline;
    margin: 0px;
    padding: 10px;
}

#editor
{
    width: auto;
    height: auto; /*min-width: 640px;     min-height: 800px;*/
    margin: 0;
    position: absolute;
    top: 0;
    bottom: 0;
    left: 0;
    right: 0;
}

ul#EditorMenu
{
    padding: 0 0 0 0;
    margin: 0;
    bottom: 0;
}

ul#EditorMenu li
{
    display: inline;
}

#StateEditorDesktopAlert
{
    text-align: left;
    display: table;
    width:auto;
    margin: 0 auto;
}



.ui-autocomplete-input
{
    /*display:inline;*/
    /*width:90%;*/
    /*padding:0.25em*/
}

.ui-button { margin-left: -1px; }
.ui-button-icon-only .ui-button-text { padding: 0.1em; } 

label, input, select
{
    /*display: block;*/
    margin-bottom: 0.5em;
}
/*
fieldset  label, fieldset  input {
  display:inline-block;
}
*/

fieldset {
  width:auto;
}

fieldset table{
  width:auto;
}


fieldset  label {
  float:right;
  text-align:right;
}
    
input
{
    min-width:30em;
}

input[type="text"]
{
     min-width:30em;
}

fieldset
{
    padding: 0;
    border: 0;
    margin-top: 0px;
}

/* simple css-based tooltip */
.tooltip
{
    padding: 0px;
    display: none;
    color: #fff;
    text-align: left;
    font-size: 12px;
}

.ui-tooltip-content
{
    margin: 0px;
    padding: 0px;
    border: 0px;
}


.fg-button
{
    outline: 0;
    margin: 0 4px 0 0;
    padding: .4em 1em;
    text-decoration: none !important;
    cursor: pointer;
    position: relative;
    text-align: center;
    zoom: 1;
}

.fg-button .ui-icon
{
    position: absolute;
    top: 50%;
    margin-top: -8px;
    left: 50%;
    margin-left: -8px;
}



a.fg-button
{
    float: left;
}

button.fg-button
{
    width: auto;
    overflow: visible;
}

.fg-button-icon-left
{
    padding-left: 2.1em;
}

.fg-button-icon-right
{
    padding-right: 2.1em;
}

.fg-button-icon-left .ui-icon
{
    right: auto;
    left: .2em;
    margin-left: 0;
}

.fg-button-icon-right .ui-icon
{
    left: auto;
    right: .2em;
    margin-left: 0;
}



.fg-button-icon-solo
{
    display: block;
    width: 8px;
    text-indent: -9999px;
}
/* solo icon buttons must have block properties for the text-indent to work */



.fg-buttonset
{
    float: left;
}

.fg-buttonset .fg-button
{
    float: left;
    margin-right:0.3em;
}

.fg-buttonset-single .fg-button, .fg-buttonset-multi .fg-button
{
    margin-right: -1px;
}



.fg-toolbar
{
    padding: .3em;
    margin: 0;
    width:auto;
}

.fg-toolbar .fg-buttonset
{
    margin-right: 1.5em;
    padding-left: 1px;
}


.fg-toolbar .fg-button
{
    font-size: 0.7em;
}


